Objectifs d'apprentissage
- Analyser les sémantiques formelles des opérations sécurisées contre celles non sécurisées en matière de mémoire.
- Comprendre l'implémentation matérielle et logicielle du masquage de mémoire.
- Évaluer l'impact de la randomisation de la disposition de l'espace d'adressage (ASLR) sur la sémantique du langage.
- Concevoir des stratégies de masquage pour protéger les données sensibles au sein de l'espace de tas de l'application.